(declare-const i14 Int)
(declare-const Str1 String)
(declare-const Str7 String)
(declare-const Str8 String)
(declare-const Str9 String)
(declare-const Str10 String)
(declare-const Str17 String)
(declare-const Str18 String)
(declare-const v15 Bool)
(assert v15)
(assert (= (str.++ Str17 Str8) (str.++ Str8 (int.to.str i14) "" "" "") (str.++ Str8 (int.to.str i14) "" "" "") Str7 Str10))
(assert (= Str18 Str9 Str1 (str.++ Str18 Str7)))
(check-sat)
